-
Notifications
You must be signed in to change notification settings - Fork 93
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix bug where vscode extensions are not installing #1360
Fix bug where vscode extensions are not installing #1360
Conversation
I just need to test the |
It seems that fixing the extensions broke the terminal sync with the Jupyterlab terminal (we now get a blank terminal on vscode), trying to fix that. |
These components don't seem related not sure why this would be happening. |
seems to be a node thing, the terminal is in there but it's not rendered correctly -- I am trying to change the /bin path to point directly to the this is the error, for ref.:
|
Co-authored-by: Vinicius D. Cerutti <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Great work @viniciusdc :)
So the bug with installing a new extension to vscode is now fixed, though for some reason the inbuilt terminal from the code-server does not work anymore, seems to be a proxy/port-related issue. -- This will be addressed in a future issue |
Fixes | Closes | Resolves #1350
Changes introduced in this PR:
code-server
feedstock./home/<user>/.local/shared/code-server
dirTypes of changes
What types of changes does your PR introduce?
Put an
x
in the boxes that applyTesting
Requires testing
In case you checked yes, did you write tests?
Further comments (optional)
This should count as a quick fix for the current extension installation issue of VScode, but we need to revisit this after the current sprint.